ff1588d761d55f48f61a52249e1dcc24

Micron Document

<!DOCTYPE html>

<title>Solomon Feferman</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Solomon Feferman</span></h1>

</header>

</div>

<p><b>Solomon Feferman</b> (* <a href="13._Dezember" title="13. Dezember">13. Dezember</a> <a href="1928" title="1928">1928</a> in <a href="New_York_City" title="New York City">New York City</a>; † <a href="26._Juli" title="26. Juli">26. Juli</a> <a href="2016" title="2016">2016</a> in <a href="Stanford_(Kalifornien)" title="Stanford (Kalifornien)">Stanford</a>, Kalifornien) war ein US-amerikanischer <a href="Mathematiker" title="Mathematiker">Mathematiker</a>, der sich mit <a href="Mathematische_Logik" title="Mathematische Logik">mathematischer Logik</a> und <a href="Philosophie_der_Mathematik" title="Philosophie der Mathematik">Philosophie der Mathematik</a> beschäftigte.

</p>

<div class="mw-heading mw-heading2"><h2 id="Leben_und_Werk">Leben und Werk</h2></div>

<p>Feferman studierte am <a href="Caltech" class="mw-redirect" title="Caltech">Caltech</a> (Bachelor 1948) Mathematik, war zwei Jahre 1953 bis 1955 bei der US-Armee als Wehrdienstleistender und promovierte 1957 bei <a href="Alfred_Tarski" title="Alfred Tarski">Alfred Tarski</a> an der <a href="University_of_California%2C_Berkeley" title="University of California, Berkeley">University of California, Berkeley</a> (<i>Formal Consistency Proofs and Interpretability of Theories</i>). Ab 1956 war er an der <a href="Stanford_University" title="Stanford University">Stanford University</a>, zuerst als Instructor, ab 1958 als Assistant Professor für Mathematik und Philosophie, ab 1962 als Associate Professor und ab 1968 als Professor. Ab 2004 ist er dort Professor Emeritus. Er war unter anderem Gastprofessor an der <a href="Universit%C3%A4t_Oxford" class="mw-redirect" title="Universität Oxford">Universität Oxford</a>, der Universität Paris, am <a href="Massachusetts_Institute_of_Technology" title="Massachusetts Institute of Technology">Massachusetts Institute of Technology</a> (1967/68), der Universität Amsterdam, der Universität Rom, der <a href="Eidgen%C3%B6ssische_Technische_Hochschule_Z%C3%BCrich" class="mw-redirect" title="Eidgenössische Technische Hochschule Zürich">ETH Zürich</a>, der Stanford University, dem <a href="Mittag-Leffler-Institut" title="Mittag-Leffler-Institut">Mittag-Leffler-Institut</a> in Stockholm.

</p><p>Feferman beschäftigte sich mit mathematischer Logik (<a href="Beweistheorie" title="Beweistheorie">Beweistheorie</a>, <a href="Berechenbarkeitstheorie" title="Berechenbarkeitstheorie">Berechenbarkeitstheorie</a>), Grundlagen der Mathematik, Philosophie der Mathematik und Geschichte der Logik. Er war in den 1960er Jahren der erste nach <a href="Paul_Cohen_(Mathematiker)" title="Paul Cohen (Mathematiker)">Paul Cohen</a>, der dessen Forcing Methode für Unabhängigkeitsbeweise in der Mengenlehre anwandte (und wurde auch von Cohen häufig konsultiert, als dieser seine Forcing Methode in Stanford entwickelte).

</p><p>Feferman führte Mitte der 1960er Jahre unabhängig von <a href="Kurt_Sch%C3%BCtte" title="Kurt Schütte">Kurt Schütte</a> die Feferman-Schütte-<a href="Ordinalzahl" title="Ordinalzahl">Ordinalzahl</a> in der Beweistheorie ein.

</p><p>Sein Vortrag <i>Does Mathematics Need New Axioms?</i><sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> auf dem Treffen der American Mathematical Society 1997 war Anlass einer Debatte.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>

</p><p>1972/73 und 1986/87 war er Guggenheim Fellow. 1990 wurde er Fellow der <a href="American_Academy_of_Arts_and_Sciences" title="American Academy of Arts and Sciences">American Academy of Arts and Sciences</a>. 2003 erhielt er den <a href="Rolf-Schock-Preis" title="Rolf-Schock-Preis">Rolf-Schock-Preis</a>. 2006 hielt er die <a href="Tarski_Lectures" title="Tarski Lectures">Tarski Lectures</a> in Berkeley. 1970 war er Invited Speaker auf dem <a href="Internationaler_Mathematikerkongress" title="Internationaler Mathematikerkongress">Internationalen Mathematikerkongress</a> (ICM) in <a href="Nizza" title="Nizza">Nizza</a> (<i>Ordinals and functionals in proof theory</i>). Er ist Fellow der <a href="American_Mathematical_Society" title="American Mathematical Society">American Mathematical Society</a>.

</p><p>1982 bis 2003 war er Herausgeber der Gesammelten Werke von <a href="Kurt_G%C3%B6del" title="Kurt Gödel">Kurt Gödel</a>. Er gab auch die Werke von <a href="Julia_Robinson" title="Julia Robinson">Julia Robinson</a> heraus und schrieb eine Biografie von Alfred Tarski, zusammen mit seiner Ehefrau, der Schriftstellerin Anita Burdman Feferman<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup> (* 1927 † 2015), für deren Biographie von <a href="Jean_Van_Heijenoort" class="mw-redirect" title="Jean Van Heijenoort">Jean Van Heijenoort</a> er auch einen Anhang schrieb. Beide kannten diesen persönlich.

</p><p>Zu seinen Doktoranden zählt <a href="Jon_Barwise" title="Jon Barwise">Jon Barwise</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Schriften">Schriften</h2></div>

<ul><li>mit Anita Burdman Feferman: <i>Alfred Tarski. Life and Logic.</i> Cambridge University Press, Cambridge u. a. 2004, ISBN 0-521-80240-7.</li>

<li><i>In the light of Logic.</i> Oxford University Press, Oxford u. a. 1998, ISBN 0-19-508030-0 (Essays).</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li>Wilfried Sieg, Richard Sommer, Carolyn Talcott (Hrsg.): <i>Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman</i> (= <i>Lecture Notes in Logic.</i> 15). A. K. Peters u. a., Natick MA 2002, ISBN 1-56881-169-1.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="https://portal.dnb.de/opac.htm?method=simpleSearch&query=128682167">Literatur von und über Solomon Feferman</a> im Katalog der <a href="Deutsche_Nationalbibliothek" title="Deutsche Nationalbibliothek">Deutschen Nationalbibliothek</a></li>

<li><a rel="nofollow" class="external text" href="https://av.tib.eu/search?f=creator%3Bhttp://d-nb.info/gnd/128682167">Videos von und über Solomon Feferman</a> im AV-Portal der <a href="Technische_Informationsbibliothek" class="mw-redirect" title="Technische Informationsbibliothek">Technischen Informationsbibliothek</a></li>

<li><a rel="nofollow" class="external text" href="http://math.stanford.edu/~feferman/">Homepage in Stanford</a></li>

<li><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=19858">Solomon Feferman</a> im <a href="Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a> (englisch) <span style="display:none">Vorlage:MathGenealogyProject/Wartung/id verwendet</span></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><i><a href="American_Mathematical_Monthly" title="American Mathematical Monthly">American Mathematical Monthly</a>.</i> Band 106, Nr. 2, 1999, S. 99–111, <a href="JSTOR" title="JSTOR">JSTOR</a>:<a rel="nofollow" class="external text" href="http://www.jstor.org/stable/2589047">2589047</a>.</span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Solomon Feferman, <a href="Harvey_Friedman_(Mathematiker)" title="Harvey Friedman (Mathematiker)">Harvey Friedman</a>, <a href="Penelope_Maddy" title="Penelope Maddy">Penelope Maddy</a>, <a href="John_R._Steel" title="John R. Steel">John R. Steel</a>: <i>Does Mathematics Need New Axioms?</i> In: <i><a href="Bulletin_of_Symbolic_Logic" class="mw-redirect" title="Bulletin of Symbolic Logic">Bulletin of Symbolic Logic</a>.</i> Bd. 6, Nr. 4, 2000, S. 401–446, <a href="JSTOR" title="JSTOR">JSTOR</a>:<a rel="nofollow" class="external text" href="http://www.jstor.org/stable/420965">420965</a>.</span>

</li>

/* start https://de.wikipedia.org/ */

.mw-parser-output .webarchiv-memento a{color:inherit}

/* end https://de.wikipedia.org/ */

</style><a rel="nofollow" class="external text" href="https://web.archive.org/web/20100805070855/http://www.redroom.com/author/anita-burdman-feferman/bio">Biografie von Anita Burdman Feferman</a> (<span class="webarchiv-memento"><a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a></span> vom 5. August 2010 im <i><a href="Internet_Archive" title="Internet Archive">Internet Archive</a></i>)</span>

</li>

</ol>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/128682167">128682167</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n81134818">n81134818</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/34535231/">34535231</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2024-11-03" href="https://de.wikipedia.org/wiki/?title=Solomon_Feferman&oldid=250011247">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>